A Combined System for Update Logic and Belief Revision

Revised Selected PapersInternational audienceIn this paper we propose a logical system combining the update logic of A. Baltag, L. Moss and S. Solecki (to which we will refer to by the generic term BMS, [BMS04]) with the belief revision theory as conceived by C. Alchourron, P. Gardenfors and D. Mackinson (that we will call the AGM theory, [GardRott95]) viewed from the point of view of W. Spohn ( [Spohn90], [Spohn88]). We also give a proof system and a comparison with the AGM postulates

Complementarity relation for irreversible process derived from stochastic energetics

When the process of a system in contact with a heat bath is described by classical Langevin equation, the method of stochastic energetics [K. Sekimoto, J. Phys. Soc. Jpn. vol. 66 (1997) p.1234] enables to derive the form of Helmholtz free energy and the dissipation function of the system. We prove that the irreversible heat Q_irr and the time lapse $Delta t} of an isothermal process obey the complementarity relation, Q_irr {Delta t} >= k_B T S_min, where S_min depends on the initial and the final values of the control parameters, but it does not depend on the pathway between these values.Comment: 3 pages. LaTeX with 6 style macro

RankPL: A Qualitative Probabilistic Programming Language

In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing "normal" from" surprising" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical examples. We also discuss an implementation of RankPL that is available for download

Field evolution of the magnetic structures in Er2_2Ti2_2O7_7 through the critical point

We have measured neutron diffraction patterns in a single crystal sample of the pyrochlore compound Er$_2$Ti$_2$O$_7$ in the antiferromagnetic phase (T=0.3\,K), as a function of the magnetic field, up to 6\,T, applied along the [110] direction. We determine all the characteristics of the magnetic structure throughout the quantum critical point at $H_c$=2\,T. As a main result, all Er moments align along the field at $H_c$ and their values reach a minimum. Using a four-sublattice self-consistent calculation, we show that the evolution of the magnetic structure and the value of the critical field are rather well reproduced using the same anisotropic exchange tensor as that accounting for the local paramagnetic susceptibility. In contrast, an isotropic exchange tensor does not match the moment variations through the critical point. The model also accounts semi-quantitatively for other experimental data previously measured, such as the field dependence of the heat capacity, energy of the dispersionless inelastic modes and transition temperature.Comment: 7 pages; 8 figure

On the derivation of Fourier's law in stochastic energy exchange systems

We present a detailed derivation of Fourier's law in a class of stochastic energy exchange systems that naturally characterize two-dimensional mechanical systems of locally confined particles in interaction. The stochastic systems consist of an array of energy variables which can be partially exchanged among nearest neighbours at variable rates. We provide two independent derivations of the thermal conductivity and prove this quantity is identical to the frequency of energy exchanges. The first derivation relies on the diffusion of the Helfand moment, which is determined solely by static averages. The second approach relies on a gradient expansion of the probability measure around a non-equilibrium stationary state. The linear part of the heat current is determined by local thermal equilibrium distributions which solve a Boltzmann-like equation. A numerical scheme is presented with computations of the conductivity along our two methods. The results are in excellent agreement with our theory.Comment: 19 pages, 5 figures, to appear in Journal of Statistical Mechanics (JSTAT

Scale Dependence of the Retarded van der Waals Potential

We study the ground state energy for a system of two hydrogen atoms coupled to the quantized Maxwell field in the limit $\alpha \to 0$ together with the relative distance between the atoms increasing as $\alpha^{-\gamma} R$, $\gamma > 0$. In particular we determine explicitly the crossover function from the $R^{-6}$ van der Waals potential to the $R^{-7}$ retarded van der Waals potential, which takes place at scale $\alpha^{-2} R$.Comment: 19 page

An Extension of the Fluctuation Theorem

Heat fluctuations are studied in a dissipative system with both mechanical and stochastic components for a simple model: a Brownian particle dragged through water by a moving potential. An extended stationary state fluctuation theorem is derived. For infinite time, this reduces to the conventional fluctuation theorem only for small fluctuations; for large fluctuations, it gives a much larger ratio of the probabilities of the particle to absorb rather than supply heat. This persists for finite times and should be observable in experiments similar to a recent one of Wang et al.Comment: 12 pages, 1 eps figure in color (though intelligible in black and white

Magneto-Transport in the Two-Dimensional Lorentz Gas

We consider the two-dimensional Lorentz gas with Poisson distributed hard disk scatterers and a constant magnetic field perpendicular to the plane of motion. The velocity autocorrelation is computed numerically over the full range of densities and magnetic fields with particular attention to the percolation threshold between hopping transport and pure edge currents. The Ohmic and Hall conductance are compared with mode-coupling theory and a recent generalized kinetic equation valid for low densities and small fields. We argue that the long time tail as $t^{-2}$ persists for non-zero magnetic field.Comment: 7 pages, 14 figures. Uses RevTeX and epsfig.sty. Submitted to Physical Review

The thermal state and interior structure of Mars

©2018. American Geophysical UnionThe present‐day thermal state, interior structure, composition, and rheology of Mars can be constrained by comparing the results of thermal history calculations with geophysical, petrological, and geological observations. Using the largest‐to‐date set of 3‐D thermal evolution models, we find that a limited set of models can satisfy all available constraints simultaneously. These models require a core radius strictly larger than 1,800 km, a crust with an average thickness between 48.8 and 87.1 km containing more than half of the planet's bulk abundance of heat producing elements, and a dry mantle rheology. A strong pressure dependence of the viscosity leads to the formation of prominent mantle plumes producing melt underneath Tharsis up to the present time. Heat flow and core size estimates derived from the InSight (Interior Exploration using Seismic Investigations, Geodesy and Heat Transport) mission will increase the set of constraining data and help to confine the range of admissible models.DFG, 280637173, FOR 2440: Materie im Inneren von Planeten - Hochdruck-, Planeten- und Plasmaphysi

Fluctuations of steps on crystal surfaces

Fluctuations of isolated and pairs of ascending steps of monoatomic height are studied in the framework of SOS models, using mainly Monte Carlo techniques. Below the roughening transistion of the surface, the profiles of long steps show the same scaling features for terrace and surface diffusion. For a pair of short steps, their separation distance is found to grow as $t^{1/3}$ at late stages. Above roughening, simulational data on surface diffusion agree well with the classical continuum theory of Mullins.Comment: 4 pages, 2 eps figure